Boolean algebra

Results: 1241



#Item
741Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.neu.edu.cn

Language: English - Date: 2013-08-06 13:14:53
742Algebraic structures / Ideals / Order theory / Lattice theory / Prime ideals / Boolean algebra / Distributive lattice / Distributivity / Ring / Abstract algebra / Algebra / Mathematics

A SZEGEDI TUDOMANYEGYETEM KOZLEMENYEI ACTA SCIENTIARUM MATHEMATICARUM KALMAR LAsZLO

Add to Reading List

Source URL: server.math.umanitoba.ca

Language: English - Date: 2014-04-24 19:29:20
743Boolean algebra / Measure theory / Algebraic structures / Forcing / Lebesgue measure / Measure / Field of sets / Borel set / Heyting algebra / Mathematics / Mathematical analysis / Mathematical logic

J Philos Logic DOI[removed]s10992[removed]Completeness of S4 for the Lebesgue Measure Algebra Tamar Lando

Add to Reading List

Source URL: philosophy.columbia.edu

Language: English - Date: 2012-07-26 09:11:31
744Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.math.washington.edu

Language: English - Date: 2013-08-06 13:14:53
745Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.cc.uoc.gr

Language: English - Date: 2013-08-06 13:14:53
746Boolean algebra

Discovery and Fusion of Salient Multi-modal Features towards News Story Segmentation - @TRECVID 2003 Workshop Winston Hsu1, Shih-Fu Chang1, Lyndon Kennedy1, Chih-wei Huang1, Ching-Yung Lin2, and Giridharan Iyengar3 1

Add to Reading List

Source URL: www-nlpir.nist.gov

Language: English - Date: 2003-12-10 09:26:33
    747Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

    Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

    Add to Reading List

    Source URL: download.nus.edu.sg

    Language: English - Date: 2013-08-06 13:14:53
    748Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

    Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

    Add to Reading List

    Source URL: ctan.imsc.res.in

    Language: English - Date: 2013-08-06 13:14:53
    749Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

    Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

    Add to Reading List

    Source URL: ctan.uni-altai.ru

    Language: English - Date: 2013-08-06 12:14:00
    750Boolean algebra / Computational complexity theory / Theory of computation / Logic / Circuit complexity / Circuit / Truth table / Canonical form / FO / Theoretical computer science / Mathematics / Applied mathematics

    IEEE TRANSACTIONS ON INFORMATION THEORY,

    Add to Reading List

    Source URL: work.caltech.edu

    Language: English - Date: 2005-04-05 03:19:05
    UPDATE